// Copyright (c) 1995 Darren Vengroff
//
// File: wall_timer.H
// Author: Darren Vengroff <darrenv@eecs.umich.edu>
// Created: 1/11/95
//
// $Id: wall_timer.H,v 1.2 1999/02/03 02:36:56 rajiv Exp $
//
#ifndef _WALL_TIMER_H
#define _WALL_TIMER_H

#include <time.h>

#include <ostream.h>

#include <timer.H>

class wall_timer : public timer
{
private:
    time_t last_sync;
    time_t elapsed;
    bool running;
public:
    wall_timer();
    virtual ~wall_timer();
    
    void start();
    void stop();
    void sync();
    void reset();
  long seconds();

    friend ostream &operator<<(ostream &s, wall_timer &wt);

};

ostream &operator<<(ostream &s, wall_timer &wt);

#endif // _WALL_TIMER_H 
